K{-}sem($S$;${\it equiv}$)($k$,$s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it equiv}$($s$,$S$($k$($s$)))